perm filename C3[1,JRA] blob sn#005847 filedate 1972-07-21 generic text, type T, neo UTF8

00100	LE(U SUB1(J)) ∧ LE(SUB1(J) CN);
00200	;